Finished float arithmetic checker