Update BIP32: 'hardened' terminology + explicit conversions