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