sqlite: round output