Explain why we cast in __abs__()