Floating point relational functions #17

Closed guansong closed 7 years ago