Remove ancient set_double workarounds

Question

pp-mo opened this issue 4 years ago · 0 comments

See here and here
There might be others ?