Name

upper_32_bits — return bits 32-63 of a number