//! Integer division facts: floors toward minus infinity and the greatest common divisor.
use *;
use ;
/// Greatest common divisor.
pub
/// `n / d` rounded toward minus infinity, for numerators that may be negative.
/// [`floor_div`] with its non-negative remainder `n - d * floor(n/d)`.
pub