Missing crosstype arithmetic#520

jnsiemer merged 3 commits intodevqfall/math:devfrom

missing_crosstype_arithmeticqfall/math:missing_crosstype_arithmeticCopy head branch name to clipboard