[math-fun] number arithmetic: power side-channels?