let (asr) = Int64.shift_right