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).
Merge pull request #868 from qtxie/float

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