Add instructions to use precise32 if necessary.