Multiple divmod specs now passing