The Number datatype should use a double-precision IEEE-754 float, but Waflash seems to use... Something else.