Bug 825006: There are some more cases where we can convert double arithmetic to integer arithmetic. (r=nbp)