Add floating-point macro definitions v2

v2:
  - Fix typo.

Reviewed-by: Jan Vesely <jan.vesely@rutgers.edu>