Would it be helpful to have the `tolist` method take a K argument so you could write these examples as

```
a = Matrix([
[  4,  12, -16], 
[ 12,  37, -43], 
[-16, -43,  98]]).tolist(QQ)
```