clean up; renaming
changes to mint, mreal, bint and breal to mean machine integer/real and big (software) integer/real