there is a more elegant solution in EPI
big integer multiplication