Edit: extended_precision.pyi