Updated to work with precise32 box