{"ast_node_type":"other","tokens":[{"end":8,"kind":"keyword","start":0,"text":"Div,"}]}
    Div,
    /// Floating-point division by zero is safe, and does not need guards.
    /// The `%` operator (modulus)