Attributes for this kinda scare me because they lead to the obvious question of "why doesn't Iterator::sum() use fast math in my fast math block?", which would be really hard. (Just getting overflow checking right is already hard in core.)
What about new types instead? Like was talked about for nnan in