acid2 (cargo): 2-adic double-precision floating-point implementation
Keywords: number|math|padic|float|modular