make dotfloo format the same as what python does