fix compiler type warning by typecasting the comparison
code cleanup: clarify comparison against null (doesn't fix GCC warning
about type-punning though). remove two unused functions in fpu DH
dynamic core. add default clause to switch statements.
update github push script