유동성을 사용하여 문자열을 어떻게 tez로 강제 변환 할 수 있습니까?

문서에는 다음 내용이 나와 있습니다.

 tez : an unbounded positive float of Tezzies, written either with a tz suffix (1.00tz, etc.) or as a string with type coercion ("1.00" : tez).
 

그러나 Liquidity의 다음 예에서는 오류가 발생합니다.

 if amount < ("5.00": tez) then
   Current.failwith "Not enough money, at least 5tz to vote"
 

nat에 대한 유형 강제는 예상대로 작동하지만 :

Github 문제는 여기에서 찾을 수 있습니다.

Documentation states the following:

tez : an unbounded positive float of Tezzies, written either with a tz suffix (1.00tz, etc.) or as a string with type coercion ("1.00" : tez).

Yet the following example in Liquidity produces an error:

if amount < ("5.00": tez) then
   Current.failwith "Not enough money, at least 5tz to vote"

While type coercion for nat works as expected:

Github issue can be found here