6.3.4 Infix Operator "/"

[Patrick Durusau <patrick@durusau.net>]

Greetings!

More of a note than a question:

We say:

> *Semantics:* Divides numbers. Due to the way conversion works, logical 
> values are converted to numbers. Dividing by zero returns an Error. 
> Applications *shall* support fractions, so 1 / 2 must produce 0.5, not 0.
>
First, we already define implicit conversion so the first sentence is 
repetition.

Second, this isn't where conformance for applications would be defined. 
Even assuming that constraining applications is within scope, all that 
needs to be done here is to define the function.

Third, the syntax says: Number Left / Number Right.

If implicit conversion is in place, then why the Number Left / Number 
Right? Oh, is that to signal the outcome of conversion?

BTW, I am not sure about "fraction support" = "1/2 must produce 0.5, not 
0." I would think fraction support means it supports operations on 
fractions, not conversion to decimal values.

Or is that a specialized usage in spreadsheet circles?

Hope everyone is having a great day!

Patrick

-- 
Patrick Durusau
patrick@durusau.net
Chair, V1 - US TAG to JTC 1/SC 34
Convener, JTC 1/SC 34/WG 3 (Topic Maps)
Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300
Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps)