C implementation: Refactor float point number dumping