Change enriched_task type priority to double prec.
Change tasks priority type to double prec.