Commit dc9b6c1e authored by Jan Kiene's avatar Jan Kiene
Browse files

port float MR 1496 out of line to fix tests

parent c4a562c0