add bitfloor in the TODO