Allow for simpler definition of number type