Type constraints for numbers