Use Data.Text.Lazy.Builder.Int.decimal for TeText instances