First draftish implementation of scalar multiplication using FLINT.