Fix 'PrintObj(1.)'

[DominikBernhardt]

Fixes #3369 .

I received help for this PR from @sebasguts and @fingolfin

[sebasguts]

I am fine with these changes.

However, deleting a library function is potentially dangerous. We should check if no distributed package uses it.

[fingolfin]

Thank you! However, I have some remarks that ought to be addressed.

[coveralls]

Coverage decreased (-0.0009%) to 85.158% when pulling 0b2deb5 on DominikBernhardt:db/PrintObj into 27c845b on gap-system:master.

[fingolfin]

For the record, I verified that no distributed package is using MACFLOAT_STRING_DOTTIFY

[fingolfin]

Huh, actually meant to "request changes", not "approve"... Anyway, those changes apparently already are in the works, thanks

[codecov]

Codecov Report

Merging #3395 into master will decrease coverage by 0.01%.
The diff coverage is 75%.

@@            Coverage Diff             @@
##           master    #3395      +/-   ##
==========================================
- Coverage   85.16%   85.15%   -0.02%     
==========================================
  Files         697      697              
  Lines      344056   344050       -6     
==========================================
- Hits       293003   292960      -43     
- Misses      51053    51090      +37

Impacted Files	Coverage Δ
lib/ieee754.g	100% <100%> (ø)	⬆️
src/macfloat.c	97.57% <50%> (+0.02%)	⬆️
lib/files.gi	76.44% <0%> (-6.95%)	⬇️
lib/files.gd	81.29% <0%> (-2.16%)	⬇️
lib/helpview.gi	47.57% <0%> (-1.43%)	⬇️
src/iostream.c	65.39% <0%> (-0.77%)	⬇️
lib/pager.gi	33.33% <0%> (-0.54%)	⬇️
lib/process.gi	43.5% <0%> (-0.5%)	⬇️
lib/init.g	83.11% <0%> (-0.37%)	⬇️
src/system.c	73.5% <0%> (-0.32%)	⬇️
... and 4 more

[DominikBernhardt]

@fingolfin I think I addressed all your comments.