Using precise32 instead