s/ExtraInt/ExtraFloat64/g