This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of CD1 status.
Section: 22.214.171.124 [numeric.limits.members] Status: CD1 Submitter: Chris Jefferson Opened: 2006-11-10 Last modified: 2017-02-03
Priority: Not Prioritized
View all other issues in [numeric.limits.members].
View all issues with CD1 status.
126.96.36.199 55 states that "A type is modulo if it is possible to add two positive numbers together and have a result that wraps around to a third number that is less". This seems insufficient for the following reasons:
[ Batavia: Related to N2144. Pete: is there an ISO definition of modulo? Underflow on signed behavior is undefined. ]
[ Bellevue: accept resolution, move to ready status. Does this mandate that is_modulo be true on platforms for which int happens to b modulo? A: the standard already seems to require that. ]
Suggest 188.8.131.52 [numeric.limits.members], paragraph 57 is amended to:
A type is modulo if
it is possible to add two positive numbers and have a result that wraps around to a third number that is less.