Bootstrap: typedef, float infinity and added some requires to prelude