removed ShortFloat, uses float internally. no apparent consequences as far as tests are concerned, but more precision should be available internally