How difficult would this be to implement? Is it just a matter of following what has been done for _int_ and replace it with _double_ ?