finished integerized flavor of library; sections with floating point are either ...