Avoid precision problem on 32-bit system. Refs #6527