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