Reviewer 1: Cite IEEE 754