{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// The compiler should have inserted checks prior to this.
    /// Floating-point remainder by zero is safe, and does not need guards.