* even if currency is handled by torddef, it is a real number, so using / is perfectly right, resolves #38718 (cherry picked from commit 09628e56) # Conflicts: # .gitattributes