Fix type of quotient on fixnums.

Closes PR13466.
Improve type of exact? and exact->inexact.

Adapted from a pull request by Eric Dobson.