[operators.eigen] let precision default to 1e-15