Rename integers.hpp to types.hpp in case floating point is someday supported.
Rename integers.html to types.html, mimicing the rename of the header.