MIPS64: Workaround the Smi::FromInt() bug for now, until we find a fix.