pub type HertzAsTypeU128 = u128;