code: @Override
  	public double getDouble(String fldName) throws RemoteException {
  		try {
  			fldName = fldName.toLowerCase(); // to ensure case-insensitivity
  			return (Double) s.getVal(fldName).castTo(DOUBLE).asJavaVal();
  		} catch (RuntimeException e) {
  			rconn.rollback();
  			throw e;
  		}
  	}
docs: Returns the double value of the specified field, by returning the
  corresponding value on the saved scan.
  
  @see org.vanilladb.core.remote.jdbc.RemoteResultSet#getDouble(java.lang.String)