dp | real | bound solid %128 is 10000000 in binary void <_summary>