No manual entry for defaultfloat