É dificil saber o correto nesses casos, teria que encontrar uma terceira especificação que corrige, mas também não importante tanto para usos mais basicos, inclusive se pode gravar em 32bits nas variaveis que o compilador da um jeito para você isso.