until -package:numeric-prelude -package:util -package:sparse-linear-algebra package:utility-ht is:exact

repeat action until result fulfills condition