Mengalikan U64 hingga U128 dalam karat

//convert either u128 or u64 to the other compatible type 
//Use 'as u64' or 'as u128'

this_is_a_u128_num * (this_is_a_u64_num as u128)
Graceful Gull