[Numpy-discussion] casting from datetime64