Correctly do mul() normalizing every 6 rounds.