Modelled Number and Boolean in stdlib.