Float64

The   type is E's primary floating-point number type. Its members are IEEE 64-bit binary floating-point numbers. ( is this appropriate definition language?) Float64 is one of the E literal types.

The universal scope contains  (no capital), the guard for this type.

? float64
 * 1) value: float64

Number protocol
Float64s implement the number protocol. ( figure out if there's benefit in templating to include generic number tests here)

As specified in the number protocol. Specific tests:

? 0.0.abs ? 0.5.abs ? (-0.0).abs ? (-0.5).abs
 * 1) value: 0.0
 * 1) value: 0.5
 * 1) value: -0.0
 * 1) value: 0.5

is (-0.0).abs supposed to be negative?

Returns the trigonometric sine of this number as an angle in radians.

? 0.0.sin
 * 1) value: 0.0

Returns the trigonometric cosine of this number as an angle in radians.

? 0.0.cos
 * 1) value: 1.0

Returns the trigonometric tangent of this number as an angle in radians.

? 0.0.tan
 * 1) value: 0.0

test nonzero parameters for trig functions write tests for all other methods (get from eocl and eojava)

Design issue: Is the canonical initial letter case for this type name (and int, boolean) upper or lower?