ところで、
BigFloat の有効桁数(?)ってどうやって指定するの?