remove dubious rounding code (for now)