Make sure literals defined with FLOAT.DEFINE have a decimal point
Implement EXEC.Y and associated test case