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