Open Scope positive_scope. Unset Printing Notations. Require Export ZArith. Check 1000. Check 1024. Check 25. Check 512. Set Printing Notations.