integer precision is enough