public void visit(FloatType t) { throw new NotImplementedException(); }
public virtual void visit(FloatType t) { // Do nothing; leave the implementation to the main class }