Edit File: extended_precision.pyi