TODO: Check precision bugs