Floating point numbers

Floating point numbers ("doubles") can be specified using any of the following syntaxes:

 
$a = 1.234; $a = 1.2e3;