Add operator "divby" that does mathematical division and always results in a decimal (as if both operands were promoted to decimal). a divby is identical to cast(a,Edm.Decimal) div cast(b,Edm.Decimal) Services that support div and cast SHOULD also support divby Services MAY advertise it with Capabilities.FilterFunctions

https://www.oasis-open.org/apps/org/workgroup/odata/download.php/59028/odata-v4.01-wd01-part1-protocol.docx https://www.oasis-open.org/apps/org/workgroup/odata/download.php/59029/odata-v4.01-wd01-part2-url-conventions.docx https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/4.01%20spec/ABNF/odata-abnf-construction-rules.txt