FPTOOLS_CHECK_HTYPE: sync wrt fptools defn
FPTOOLS_CHECK_HTYPE: sync wrt fptools defn
FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs