FIX #1282: 64-bit unchecked shifts are not exported from base