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