Function rem_euclid 

pub fn rem_euclid(
    span: Span,
    dividend: DecNum,
    divisor: Spanned<DecNum>,
) -> Result<DecNum, EcoVec<SourceDiagnostic>>

This calculates the least nonnegative remainder of a division.