Up to core-syntax - The case of the division operator.