define FPE_FE1 20131128 bigint hmac numbertheory sha2_32