Corrected double format casting