Add symbolic evaluation for is_float/1