Should oral blood thinners, apart from warfarin, be discontinued prior to dental procedures?