Comprobador numérico (BSD aproximado)