Added SHORT-FLOAT-NOT-LESS-AST.
Added SINGLE-FLOAT-NOT-LESS-AST.
Added DOUBLE-FLOAT-NOT-LESS-AST.
Added LONG-FLOAT-NOT-LESS-AST.
Added SHORT-FLOAT-EQUAL-AST.
Added SINGLE-FLOAT-EQUAL-AST.
Added DOUBLE-FLOAT-EQUAL-AST.
Added LONG-FLOAT-EQUAL-AST.