{ 
    use integer; 
    $int = $int * $big_num;             # need 32 bit int wrap here but don't get on 64 bit arch
    $int >>= 32 if $int > 0xffffffff;  # <-- add this line
}