Function fast_modulo::mod_u128u64_unchecked

pub fn mod_u128u64_unchecked(a: u128, m: u64) -> u64

calcurate a % m

This function doesn’t check quotient less than $2^{64}$. required $a < 2^{64}m$

use fast_modulo::mod_u128u64_unchecked;
assert_eq!(mod_u128u64_unchecked(17, 3), 2);
assert_eq!(mod_u128u64_unchecked((1 << 107) - 1, (1 << 61) - 1), 70368744177663);