type of float parameter changed unexpectedly to double (#347) · Issues · pub / frama-c