Require Import Reals.
Check 32%R.
Check (-31)%R.