terminating decimal ཚད་ཡོད་སིལ་གྲངས། = སིལ་གྲངས་ཚེག་རྗེས་ཀྱི་གྲངས་གནས་ལ་གྲངས་འདྲེན་ཐུབ་པའི་སིལ་གྲངས་ལ་ཟེར།