string(half(0.5))
