FEAT: try best to make consistent results of `form-float`.

TESTS: added tests for float comparasion.
TESTS: added tests for arithmetic of float special values(NaN, INF).