Fast Ideal Artithmetic via Lazy Localization