fix #831: Data setup file: incorrect precision import