void __decodeDouble_2Int (I_ *man_sign, W_ *man_high, W_ *man_low, I_ *exp, StgDouble dbl);
void __decodeFloat_Int (I_ *man, I_ *exp, StgFloat flt);
StgDouble __2Int_encodeDouble (I_ j_high, I_ j_low, I_ e);
-StgDouble __int_encodeDouble (I_ j, I_ e);
StgDouble __word_encodeDouble (W_ j, I_ e);
-StgFloat __int_encodeFloat (I_ j, I_ e);
StgFloat __word_encodeFloat (W_ j, I_ e);
+// __int_encodeDouble and __int_encodeFloat are public, declared in
+// includes/rts/PrimFloat.h.
+
#pragma GCC visibility pop
#endif /* STGPRIMFLOAT_H */