# Default configuration for ppc64le-linux-user
CONFIG_LIBDECNUMBER=y