double-significant-digits (定数)
public constant double-significant-digits:int =15
パッケージ: CURL.LANGUAGE.CORE-TYPES

10 進数で表した double の有効桁数、つまり値を double に入れたときに保存されると想定できる桁数。