Floating point spec default type statement

[MrTheSaw]

In the floating point section of spec.md, it states that the default type of an integer literal is a Double.