better checks on solving linear systems in variable precision