pub fn i128_from_pieces(hi: i64, lo: u64) -> i128