<?php
$dmap = array();
$dmap["0.2"] = 6.0;
$d = 1.2;
$d2 = 1.0;
$d3 = $d - $d2;
$dmap["$d3"] = 5.0;
printf("%f", $dmap["0.2"]);