More woes with correct int types; improvements in polar codes