Add symbolic evaluation for '=:='/2, float/1