num::BigRational []

type BigRational = Ratio<BigInt>;