sig
val
value : float
end