Open mafpovbul opened 2 years ago
[IMPORTANT!: Please do not edit or reply to this comment using the GitHub UI. You can respond to it using CATcher during the next phase of the PE]
Thank you. However, we think that "integer" is a very common word used in daily life, and it is formal and professional to be included in the user guide. The diffentiation bewteen "integer" and "whole number" is not in scope.
Team chose [response.NotInScope
]
Reason for disagreement: [replace this with your reason]
Team chose [severity.VeryLow
]
Originally [severity.Low
]
Reason for disagreement: [replace this with your reason]
Users might not know what an integer is, perhaps it could be changed to "positive whole number" instead.