Paper: Remove unneeded dependency on "floatflt".