[COMMIT] #'float: if handed a bigfloat, give the same bigfloat back.