Number Format MD3
For a variable of type Number List or Number Length a part of Detailed domain specs is the number format. It consists of:
- A group of two radio buttons being Whole number and Decimal number.
- A number field with up arrow and down arrow holding the number of digits of the fraction. It is only accessible and relevant with Decimal number selected.
- Checkbox Show thousands separator.
These settings influence the way the number value is represented during consultation in a Player. Also they control the way a number should be entered, eg. with Ask user.
They do not determine the format of numbers when the user edits a knowledge model in Match Developer. In this specification phase all numbers have the Anglo-American format. A point is between the integer part and the fraction. A thousands separator is not used. This is also the format in most programming languages.
Consider 123.45 in Anglo-American or 123,45 in European format. We name '123' the integer part and '45' the fraction.
An important role is for the setting Number formatting in the preferences of Developer. Therefore click in the application menu bar md3. Select Preferences. Alternatively press key command-, (comma). (TODO in WINDOWS different terms)
In part General section Miscellaneous is the group of radio buttons Number formatting with choice EU or USA.
When USA is selected, the Anglo-American format applies. Between integer part and fraction part is a point. When thousands separator is ON, commas appear between groups of three digits.
When EU is selected, the European format applies. Between integer part and fraction part is a comma. When thousands separator is ON, points appear between groups of three digits.
Here is an example, a number some more than a million in Dutch notation: 1.023.456,789. In Match Developer it must be 1023456.789. In Match Players it depends on the preference USA or EU.
USA is selected. Thousands separator is on, and 3 decimals. The number is 1,023,456.789. Without thousands separator it is 1023456.789
EU is selected. Thousands separator is on, and 3 decimals. The number is 1.023.456,789. Without thousands separator it is 1023456,789