For example, numeric literals are doubles in the shell and javascript, but in java they are 32-bit integers. Ensure we're being consistent with integer types.