Oh, DOUBLE is for decimal numbers. Forgot that one. i don't usually use it.
Also, beware the trap of thinking somethine will always be a number, you'll get burned when it suddenly isn't (for example, US Zip codes suddenly adding a -#### to the end of…