caught floating point exception on zero-coverage bases