Modules

Type constraints for numbers