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

port float MR 1496 out of line to fix tests

parent 10f4ae46