Int -> float in troncon and other stuffs