Add Additional number types (and half-assed type inference)

Add Additional number types (and half-assed type inference) #30