make bitlength of float explicit
handful of updates