Float arithmetic checker (not completed)